permutation(
    ["get kids", "mail package", "buy milk"], ToDo)

in(X, Y), not leaf(X) // for 'in'
